COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	.require "ltr" source
C00004 ENDMK
C⊗;
.require "ltr" source;
.memo CSD Academic Council Members,
.|Lester Earnest, Associate Director, A. I. Lab.|,
.|More Research Associates|;

We recently hired Michael Gordon as a Research Associate to work on
mathematical theory of computation, but through an oversight did not
circulate his biography in advance.  A copy is enclosed, for your information.

David Luckham proposes to offer a fractional-time Research Associate appointment
to Friedrich von Henke to work on theorem proving.  Von Henke has been in our
laboratory as a Visiting Scholar on a fellowship for the last year.  The proposed
appointment would supplement the fellowship.  If you have any opinions regarding
this candidate's qualifications, please communicate with John McCarthy,
Bob Floyd or me by Friday, October 25.